Constant weakest pre-condition
[计] 恒最弱前置条件
🧩 词语组成解析
a. 弱的( weak的最高级 ); 微弱的; 无说服力的; 淡的
abbr. 炼油工程师（Petroleum Refining Engineer）
condition
[kən'dɪʃən]
n. 状态;环境;健康状况;条款;
vt. 制约;限制;使习惯于;使适应;
vt.& vi. 对…具有重要影响;影响（某事发生的方式）;保持（头发或皮肤等的）健康;养护;
con共同+dit给予+ion抽象名词→共同给出的东西 → 条件
🗣️ 情景例句
Coffee, please.
请来点咖啡。
Action is the proper fruit of knowledge.
行动是知识的巧果。
Both planes were going to take off on July 25th, but Latham failed to get up early enough,
两天飞机都打算在7月25日起飞，但莱瑟姆那天起床晚了。